Very Large Numbers
January-14-09
2:47 PM
See also ItaisIt.nb
Question: How does this compare with 
Goodstein's theorem <[link]> 